xen/arm: gic-v3: Allow Xen to run on hardware supporting GICv4
authorJulien Grall <julien.grall@citrix.com>
Mon, 14 Sep 2015 15:32:24 +0000 (16:32 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 24 Sep 2015 10:47:59 +0000 (11:47 +0100)
commit18c67d29c91d64274212b33cd5db006db553abf9
tree68c6ad46bf79397d1ac2b6e1bbd737ba5379d5c5
parent55e8b12a5c054dfdf5feee1c3a84ffdfc2d38c83
xen/arm: gic-v3: Allow Xen to run on hardware supporting GICv4

GICv4 is an extension of GICv3 (see 1.1 in ARM IHI 0069A) which means
that the GICv3 driver can run normally on GICv4 hardware.

The GICv4-only features currently won't be used.

Reported-by: Andre Przywara <andre.przywara@arm.com>
Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic-v3.c
xen/include/asm-arm/gic_v3_defs.h